Sensor networks and distributed CSP: communication, computation and complexity

We introduce SensorDCSP, a naturally distributed benchmark based on a real-world application that arises in the context of networked distributed systems. In order to study the performance of Distributed CSP (DisCSP) algorithms in a truly distributed setting, we use a discrete-event network simulator, which allows us to model the impact of different network traffic conditions on the performance of the algorithms. We consider two complete DisCSP algorithms: asynchronous backtracking (ABT) and asynchronous weak commitment search (AWC), and perform performance comparison for these algorithms on both satisfiable and unsatisfiable instances of SensorDCSP. We found that random delays (due to network traffic or in some cases actively introduced by the agents) combined with a dynamic decentralized restart strategy can improve the performance of DisCSP algorithms. In addition, we introduce GSensorDCSP, a plain-embedded version of SensorDCSP that is closely related to various real-life dynamic tracking systems. We perform both analytical and empirical study of this benchmark domain. In particular, this benchmark allows us to study the attractiveness of solution repairing for solving a sequence of DisCSPs that represent the dynamic tracking of a set of moving objects.This work was supported in part by AFOSR (F49620-01-1-0076, Intelligent Information Systems Institute and MURI F49620-01-1-0361), CICYT (TIC2001-1577-C03-03 and TIC2003-00950), DARPA (F30602-00-2- 0530), an NSF CAREER award (IIS-9734128), and an Alfred P. Sloan Research Fellowship. The views and conclusions contained herein are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of the US Government

Implementación de una herramienta didáctica para la manipulación de autómatas finitos y expresiones regulares

En este trabajo presentamos una herramienta que pretende facilitar la labor docente de la asignatura Lenguajes, gramáticas y autómatas, y en particular el uso y manejo de autómatas finitos y expresiones regulares. Esta aplicación permite completar el temario de la asignatura ofreciendo al estudiante la posibilidad de realizar prácticas en el laboratorio, encaminadas tanto a la manipulación y comprensión de los objetos presentados en el aula, como a la incorporación de nuevos algoritmos

Algorithms and cryptographic protocols using elliptic curves

En els darrers anys, la criptografia amb corbes el.líptiques ha adquirit una importància creixent, fins a arribar a formar part en la actualitat de diferents estàndards industrials. Tot i que s'han dissenyat variants amb corbes el.líptiques de criptosistemes clàssics, com el RSA, el seu màxim interès rau en la seva aplicació en criptosistemes basats en el Problema del Logaritme Discret, com els de tipus ElGamal. En aquest cas, els criptosistemes el.líptics garanteixen la mateixa seguretat que els construïts sobre el grup multiplicatiu d'un cos finit primer, però amb longituds de clau molt menor. Mostrarem, doncs, les bones propietats d'aquests criptosistemes, així com els requeriments bàsics per a que una corba sigui criptogràficament útil, estretament relacionat amb la seva cardinalitat. Revisarem alguns mètodes que permetin descartar corbes no criptogràficament útils, així com altres que permetin obtenir corbes bones a partir d'una de donada. Finalment, descriurem algunes aplicacions, com són el seu ús en Targes Intel.ligents i sistemes RFID, per concloure amb alguns avenços recents en aquest camp.The relevance of elliptic curve cryptography has grown in recent years, and today represents a cornerstone in many industrial standards. Although elliptic curve variants of classical cryptosystems such as RSA exist, the full potential of elliptic curve cryptography is displayed in cryptosystems based on the Discrete Logarithm Problem, such as ElGamal. For these, elliptic curve cryptosystems guarantee the same security levels as their finite field analogues, with the additional advantage of using significantly smaller key sizes. In this report we show the positive properties of elliptic curve cryptosystems, and the requirements a curve must meet to be useful in this context, closely related to the number of points. We survey methods to discard cryptographically uninteresting curves as well as methods to obtain other useful curves from a given one. We then describe some real world applications such as Smart Cards and RFID systems and conclude with a snapshot of recent developments in the field

Creación de una herramienta didáctica de apoyo al estudio de series y cálculo intregral utilizando el Mathematica

Motivados por la necesidad de facilitar al estudiante la comprensión de los conceptos básicos del Cálculo, hemos diseñado e implementado una herramienta que permita mostrar animadamente tales objetos, empleando para ello el Mathematica como programa base. En esta comunicación presentamos la primera parte de nuestro trabajo, dedicado al estudio de las sucesiones y series, tanto numéricas como de funciones, y al cálculo integral

Formación dual en el máster en ingeniería informática: una nueva orientación de formación universitaria

Esta comunicación presenta una experiencia singular en el sistema universitario español de integración de formación dual universitaria (FDU) en una titulación oficial como es el máster en Ingeniería Informática (MEINF) de la Universidad de Lleida. Con este modelo de formación se pretende mejorar el proceso de adquisición de competencias y habilidades, así como la empleabilidad de los estudiantes. El estudiante es contratado a tiempo completo por parte de las empresas, que pasan a tener un papel activo en su formación. Los tutores académicos y de empresa son corresponsables de la formación y del seguimiento de los estudiantes, así como de la evaluación de las competencias y habilidades conseguidas. La implantación del nuevo modelo FDU ha requerido la adaptación del currículum de los estudios de máster oficial, así como el diseño de un nuevo modelo organizativo y de evaluación para garantizar la calidad del proceso de aprendizaje y la adquisición de competencias y habilidades. Para ello se han tenido que afrontar retos relacionados con la adaptación de los equipos docentes universitarios, así como la cultura empresarial, además de diferentes aspectos jurídicos y laborales. El programa comenzó en 2015 y los primeros resultados se muestran muy alentadores en términos de satisfacción, tanto de los estudiantes, como de los empleadores, con el proceso de aprendizaje y el alto nivel de competencias adquirido. Además, esta metodología ha resultado un aspecto relevante para la atracción de estudiantes, tanto nacionales como internacionales, a los estudios de máster.This paper presents a unique experience in the Spanish university system for the integration of dual university education (FDU) in an official degree studies such as the Master's Degree in Informatics Engineering at the University of Lleida. This learning model aims to improve the process of acquiring skills and abilities, as well as the employability of students. The student is hired fulltime by companies, which play an active role in their training. The academic and business tutors are responsible for the training and follow-up of the students, as well as for the evaluation of the competences and skills acquired. The implementation of the new FDU model has required the adaptation of the curriculum, as well as the design of a new organizational and evaluation model to guarantee the quality of the learning process and the acquisition of competences and skills by the students. To this end, It was necessary to face challenges related to the adaptation of university teaching teams, as well as the business culture and different legal and labor aspects. The program started in 2015 and the first results are very encouraging in terms of satisfaction, both for students and employers, with the learning process and the high level of skills acquired. In addition, this methodology has been a relevant aspect for attracting both national and international students to master's degree

Bloc d'internet: administració, aplicacions i seguretat

L'objectiu d'aquesta assignatura és el d'introduir aspectes complementaris dins l'àrea de les comunicacions entre ordinadors, que puguin ser consolidats seguint una metodologia eminentment pràctica i que acostin a l'alumne a alguns dels aspectes que trobarà al món laboral